Golubeva Olga I. «Stuck-at fault detection, controllability and observability functions of the combinational circuit gate pole» // Tomsk State University Journal of Control and Computer Science 2015. №1(30) C.77-86
Bucharov Alexander V., Matrosova Anzhela Y., Kirienko Irina E., Ostanin Sergei A. «Generating all test patterns for a given stuck-at fault of a logical circuit and its ROBDD implementation» // Tomsk State University Journal of Control and Computer Science 2014. №2(27) C.82-89
Matrosova Anzhela Yu., Savenkova Marina M. «Partial equivalence checking for combinational circuits» // Tomsk State University Journal of Control and Computer Science 2025. №71 C.130-139
